Titre | Tools and Algorithms for the Construction and Analysis of Systems |
Domaine(s) | Informatique |
Auteur(s) | Armin Biere,David Parker |
Editeur(S) | Springer open |
parution | 2020 |
Source De livre | Lien de livre |
EAN13/ISBN | 978-3-030-45190-5 |
Titre : Sécurité i...
Auteur(s) : Laurent Bl...
Editeur(s) : EYROLLES
EAN13 : 978-221213...
Langue : français
28
52
Titre : La program...
Auteur(s) : Hugues Ber...
Editeur(s) : EYROLLES
EAN13 : 978-2-212-...
Langue : français
10
19
Titre : La Boîte à...
Auteur(s) : Cyril Blad...
Editeur(s) : Dunod
EAN13 : 21007493...
Langue : français
18
13
Titre : Exercices...
Auteur(s) : Claude Del...
Editeur(s) : EYROLLES
EAN13 : 978-2-212-...
Langue : français
13
15